Romanovsky, Alexander: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 9707 || Risk Assessment of the 3Des in ERTMS

Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander

Year:

2016

Language:

english

File:

PDF, 418 KB

english, 2016

2

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 555 KB

english, 2019

3

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 9707 ||

Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander

Year:

2016

Language:

english

File:

PDF, 10.87 MB

english, 2016

4

Molecular energy transducers of the living cell. Proton ATP synthase: a rotating molecular motor

Romanovsky, Yurii M, Tikhonov, Alexander N

Journal:

Physics Uspekhi

Year:

2010

Language:

english

File:

PDF, 691 KB

english, 2010

5

GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds

Wen, Zhenyu, Lin, Tao, Yang, Renyu, Ji, Shouling, Ranjan, rajiv, Romanovsky, Alexander, Lin, Changting, Xu, Jie

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2019

Language:

english

File:

PDF, 2.13 MB

english, 2019

6

From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures

Gorbenko, Anatoliy, Romanovsky, Alexander, Tarasyuk, Olga, Biloborodov, Oleksandr

Journal:

IEEE Transactions on Reliability

Year:

2019

Language:

english

File:

PDF, 60 KB

english, 2019

7

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 10479 || Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB

Romanovsky, Alexander, Troubitsyna, Elena A.

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

8

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005

Garcia, Alessandro, Choren, Ricardo, Lucena, Carlos, Romanovsky, Alexander, Giese, Holger, Weyns, Danny, Holvoet, Tom, Giorgini, Paolo

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 300 KB

english, 2005

9

3.2.2 Traceable Engineering of Fault-Tolerant SoSs

Andrews, Zoe, Ingram, Claire, Payne, Richard, Romanovsky, Alexander, Holt, Jon, Perry, Simon

Journal:

INCOSE International Symposium

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

10

VazaDengue: An Information System for Preventing and Combating Mosquito-Borne Diseases with Social Networks

Sousa, Leonardo, de Mello, Rafael, Cedrim, Diego, Garcia, Alessandro, Missier, Paolo, Uchôa, Anderson, Oliveira, Anderson, Romanovsky, Alexander

Journal:

Information Systems

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

11

[IEEE 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) - Paris, France (2018.11.20-2018.11.22)] 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) - Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications

Souza, Arthur, Wen, Zhenyu, Cacho, Nelio, Romanovsky, Alexander, James, Philip, Ranjan, Rajiv

Year:

2018

Language:

english

File:

PDF, 711 KB

english, 2018

12

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 11698 (38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings) ||

Romanovsky, Alexander, Troubitsyna, Elena, Bitsch, Friedemann

Year:

2019

Language:

english

File:

PDF, 27.06 MB

english, 2019

13

[Lecture Notes in Computer Science] Architecting Dependable Systems IV Volume 4615 ||

de Lemos, Rogério, Gacek, Cristina, Romanovsky, Alexander

Year:

2007

Language:

english

File:

PDF, 14.72 MB

english, 2007

14

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

15

Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency

Gorbenko, Anatoliy, Romanovsky, Alexander, Tarasyuk, Olga

Journal:

Journal of Network and Computer Applications

Year:

2019

Language:

english

File:

PDF, 1.75 MB

english, 2019

16

[Lecture Notes in Computer Science] Scientific Engineering of Distributed Java Applications Volume 3409 || FreeSoDA: A Web Services-Based Tool to Support Documentation in Distributed Projects

Guelfi, Nicolas, Reggio, Gianna, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 317 KB

english, 2005

17

[Lecture Notes in Computer Science] Software Engineering for Multi-Agent Systems III Volume 3390 || Efficient Agent Communication in Multi-agent Systems

Choren, Ricardo, Garcia, Alessandro, Lucena, Carlos, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 223 KB

english, 2005

18

The atomic manifesto

Jones, Cliff, Rajwar, Ravi, Ramamritham, Krithi, Randell, Brian, Rodrigues, Luis, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, Korth, Henry F., de Lemos, R

Journal:

ACM SIGOPS Operating Systems Review

Year:

2005

Language:

english

File:

PDF, 1.16 MB

english, 2005

19

Software engineering for large-scale multi-agent systems - SELMAS 2006

Garcia, Alessandro, Giese, Holger, Romanovsky, Alexander, Choren, Ricardo, Leung, Ho-fung, Lucena, Carlos, Klein, Florian, Platon, Eric

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 310 KB

english, 2006

20

Software engineering for large-scale multi-agent systems

Garcia, Alessandro, Perini, Anna, Sardinha, José, Lucena, Carlos, Castro, Jaelson, Leite, Júlio, Milidiú, Ruy, Romanovsky, Alexander, Griss, Martin, de Lemos, Rogério

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 294 KB

english, 2003

21

Conversational group service

Romanovsky, Alexander B.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1997

Language:

english

File:

PDF, 830 KB

english, 1997

22

An aspect-oriented software architecture for code mobility

Cidiane Lobato, Alessandro Garcia, Alexander Romanovsky, Carlos Lucena

Journal:

Software: Practice and Experience

Year:

2008

Language:

english

File:

PDF, 1.43 MB

english, 2008

23

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 9707 || Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems

Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander

Year:

2016

Language:

english

File:

PDF, 628 KB

english, 2016

24

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 8166 || Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs

Gorbenko, Anatoliy, Romanovsky, Alexander, Kharchenko, Vyacheslav

Year:

2013

Language:

english

File:

PDF, 610 KB

english, 2013

25

[Lecture Notes in Computer Science] Software Engineering for Multi-Agent Systems II Volume 2940 || Separation of Concerns in Multi-agent Systems: An Empirical Study

Lucena, Carlos, Garcia, Alessandro, Romanovsky, Alexander, Castro, Jaelson, Alencar, Paulo S. C.

Year:

2004

Language:

english

File:

PDF, 675 KB

english, 2004

26

Fault tolerance

Romanovsky, Alexander B.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1993

Language:

english

File:

PDF, 564 KB

english, 1993

27

Dynamically Partitioning Workflow over Federated Clouds For Optimising the Monetary Cost and Handling Run-Time Failures

Wen, Zhenyu, Qasha, Rawaa, Li, Zequn, Ranjan, Rajiv, Watson, Paul, Romanovsky, Alexander

Journal:

IEEE Transactions on Cloud Computing

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

28

Software engineering for large-scale multi-agent systems - SELMAS 2004

Choren, Ricardo, Weyns, Danny, Garcia, Alessandro, Lucena, Carlos, Griss, Martin, Kung, David, Minsky, Naftaly, Romanovsky, Alexander, Castro, Jaelson, de Lemos, Rogério

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 233 KB

english, 2004

29

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 10479 || Holistic Processing and Exploring Event Logs

Romanovsky, Alexander, Troubitsyna, Elena A.

Year:

2017

Language:

english

File:

PDF, 625 KB

english, 2017

30

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019

31

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Software engineering for large-scale multi-agent systems - SELMAS'05

Garcia, Alessandro, Choren, Ricardo, Lucena, Carlos, Romanovsky, Alexander, Holvoet, Tom, Giorgini, Paolo

Year:

2005

Language:

english

File:

PDF, 128 KB

english, 2005

32

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS)

Choren, Ricardo, Leung, Ho-fung, Garcia, Alessandro, Lucena, Carlos, Giese, Holger, Romanovsky, Alexander

Year:

2006

Language:

english

File:

PDF, 35 KB

english, 2006

33

Speedup and Power Scaling Models for Heterogeneous Many-Core Systems

Rafiev, Ashur, Al-Hayanni, Mohammed, Xia, Fei, Shafik, Rishad, Romanovsky, Alexander, Yakovlev, Alex

Journal:

IEEE Transactions on Multi-Scale Computing Systems

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

34

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.64 MB

english, 2019

35

[Lecture Notes in Computer Science] Scientific Engineering of Distributed Java Applications Volume 3409 || Component-Based Design of Embedded Software: An Analysis of Design Issues

Guelfi, Nicolas, Reggio, Gianna, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

36

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Threat Modeling in the Railway Domain

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.47 MB

english, 2019

37

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - On Exceptions, Exception Handling, Requirements and Software Lifecycle

Romanovsky, Alexander

Year:

2007

Language:

english

File:

PDF, 452 KB

english, 2007

38

[IEEE 2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability (WDTS-RASD) - Niigata, Japan (2012.11.18-2012.11.19)] 2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability - SafeCap Domain Language for Reasoning about Safety and Capacity

Iliasov, Alexei, Romanovsky, Alexander

Year:

2012

Language:

english

File:

PDF, 389 KB

english, 2012

39

Concurrency in Dependable Computing || Checkpointing in Distributed Computing Systems

Ezhilchelvan, Paul, Romanovsky, Alexander

Year:

2002

Language:

english

File:

PDF, 1.86 MB

english, 2002

40

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.22-2006.05.23)] Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems - SELMAS '06 - On using the CAMA framework for developing open mobile fault tolerant agent systems

Arief, Budi, Iliasov, Alexei, Romanovsky, Alexander

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

41

[Lecture Notes in Computer Science] Scientific Engineering of Distributed Java Applications Volume 3409 || Task-Based Access Control for Virtual Organizations

Guelfi, Nicolas, Reggio, Gianna, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 162 KB

english, 2005

42

GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds

Wen, Zhenyu, Lin, Tao, Yang, Renyu, Ji, Shouling, Ranjan, rajiv, Romanovsky, Alexander, Lin, Changting, Xu, Jie

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2019

File:

PDF, 2.13 MB

2019

43

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 11699 (SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings) ||

Romanovsky, Alexander, Troubitsyna, Elena, Gashi, Ilir, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2019

Language:

english

File:

PDF, 34.38 MB

english, 2019

44

[IEEE 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Santorini Island, Greece (2007.05.7-2007.05.9)] 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) - On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Iliasov, Alexei, Romanovsky, Alexander, Arief, Budi, Laibinis, Linas, Troubitsyna, Elena

Year:

2007

Language:

english

File:

PDF, 146 KB

english, 2007

45

Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds

Wen, Zhenyu, Cala, Jacek, Watson, Paul, Romanovsky, Alexander

Journal:

IEEE Transactions on Services Computing

Year:

2016

Language:

english

File:

PDF, 5.66 MB

english, 2016

46

[Lecture Notes in Computer Science] Scientific Engineering of Distributed Java Applications Volume 3409 || Self-Deployment of Distributed Applications

Guelfi, Nicolas, Reggio, Gianna, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 237 KB

english, 2005

47

[Lecture Notes in Computer Science] Software Engineering for Multi-Agent Systems III Volume 3390 || From Object-Oriented to Agent-Oriented Software Engineering Methodologies

Choren, Ricardo, Garcia, Alessandro, Lucena, Carlos, Romanovsky, Alexander

Year:

2005

Language:

english

File:

PDF, 272 KB

english, 2005

48

[ACM Press the 4th international workshop - Atlanta, Georgia (2008.11.14-2008.11.14)] Proceedings of the 4th international workshop on Exception handling - WEH '08 - Experimenting with exception propagation mechanisms in service-oriented architecture

Gorbenko, Anatoliy, Romanovsky, Alexander, Kharchenko, Vyacheslav, Mikhaylichenko, Alexey

Year:

2008

Language:

english

File:

PDF, 797 KB

english, 2008

49

[Lecture Notes in Computer Science] Architecting Dependable Systems II Volume 3069 || Achieving Critical System Survivability Through Software Architectures

de Lemos, Rogério, Gacek, Cristina, Romanovsky, Alexander

Year:

2004

Language:

english

File:

PDF, 315 KB

english, 2004

50

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Safe and Time-Optimal Control for Railway Games

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 941 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски